Mathematical structure - PDFSEARCH.IO - Document Search Engine

Mathematical structure
Results: 1236

#	Item
441	Noname Vol. 43 Monotonicity Inference for Higher-Order Formulas Jasmin Christian Blanchette · Alexander Krauss Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Model theory Symbol Lambda calculus Interpretation Structure Orbifold Curry–Howard correspondence Mathematics Mathematical logic Logic
442	Monotonicity Inference for Higher-Order Formulas Jasmin Christian Blanchette? and Alexander Krauss Institut für Informatik, Technische Universität München, Germany {blanchette,krauss}@in.tum.de Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2010-04-01 08:28:46 Logic Metalogic Symbol Interpretation Structure Lambda calculus Orbifold Normal distribution Mathematics Model theory Mathematical logic
443	Experience with the SETL Optimizer STEFAN M. FREUDENBERGER, JACOB T. SCHWARTZ, and MICHA SHARIR New York University The structure of an existing optimizer for the very high-level, set theoretically oriented programming Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 10:31:06 Data types Compiler optimizations Compiler construction Type theory Programming language implementation SETL Static single assignment form Mathematical optimization Common subexpression elimination Software engineering Computing Programming language theory
444	Krippahl and Barahona Algorithms for Molecular Biology:9 DOIs13015RESEARCH Open Access Add to Reading List Source URL: www.almob.org Language: English Chemistry Biology Molecular modelling Mathematical and theoretical biology Macromolecular docking Docking STING Critical Assessment of Prediction of Interactions Sequence alignment Bioinformatics Protein structure Science
445	cctbx news Luc J. Bourhisa, Ralf W. Grosse-Kunstleveb, Paul D. Adamsb a) University of Durham, Durham, DH1 3HP,UK and b) Lawrence Berkeley National Laboratory, Berkeley, CA 94720, USA. E-mail: and luc_j_ Add to Reading List Source URL: cci.lbl.gov Language: English - Date: 2011-01-13 22:26:32 Condensed matter physics Materials science Crystallography Instrumental analysis Apache Subversion Chemical structure Crystal structure Weighting Generalizations of the derivative Chemistry Science Mathematical analysis
446	Introduction Heredity of AD-classes References Hereditary, additive and divisible classes in epireflective subcategories of Top Add to Reading List Source URL: thales.doa.fmph.uniba.sk Language: English - Date: 2006-08-10 05:02:17 Isomorphism-closed subcategory Subcategory Epimorphism Topology Structure Mathematical analysis Category theory Mathematics Reflective subcategory
447	Protein J DOIs10930x Characterization of Protein–Protein Interfaces Changhui Yan Æ Feihong Wu Æ Robert L. Jernigan Æ Drena Dobbs Æ Vasant Honavar Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2007-10-23 19:47:39 Mathematical and theoretical biology STING Protein domain Hydrophobicity scales Beta sheet Alpha helix Biology Protein structure Chemistry
448	Discrete-Continuous Optimization for Large-Scale Structure from Motion David Crandall Indiana University Bloomington, IN Andrew Owens Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2011-06-14 23:31:48 Imaging Bundle adjustment Cartography Geodesy Photogrammetry Surveying Digital camera Pose Mathematical optimization Geometry Computer vision Vision
449	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) PSpace Tableau Algorithms for Acyclic Modalized ALC Jia Tao · Giora Slutzki · Vasant Honavar Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2011-06-14 00:05:06 Model theory Philosophical logic Automated theorem proving Method of analytic tableaux Abox Structure Boolean satisfiability problem PSPACE-complete Modal logic Theoretical computer science Mathematical logic Mathematics
450	Discrete Dynamics Lab: tools for investigating cellular automata and discrete dynamical networks Andrew Wuensche Faculty of Computing, Engineering and Mathematical Sciences University of the West of England, Add to Reading List Source URL: uncomp.uwe.ac.uk Language: English - Date: 2004-10-13 11:24:48 Logic Science Attractor Systems theory Chaos theory Structure Nature Dynamical system Cellular automaton Networks Bioinformatics Boolean network

UPDATE